Johan Håstad February 2013

Source URL: www.nada.kth.se

• Johan Håstad
• Gödel Prize
• Circuit complexity
• Silvio Micali
• ACM SIGACT
• International Colloquium on Automata
• Languages and Programming
• Theoretical computer science
• Applied mathematics
• Computer science

Michael O. Rabin Thomas J. Watson Sr. Professor of Computer Science Harvard University

Source URL: people.seas.harvard.edu

• Silvio Micali
• International Colloquium on Automata
• Languages and Programming
• Joseph F. Traub
• Dana Scott
• Year of birth missing
• Super-recursive algorithm
• Debajyoti Mukhopadhyay
• Theoretical computer science
• Computer science
• Mathematics

1. Introduction to the Theory of Provable Security of Public Key Cryptosystems

Source URL: www.ieice.org

PDF Document

Source URL: www.math.ias.edu

• Quantum complexity theory
• Silvio Micali
• Avi Wigderson
• Guggenheim Fellows
• Dorit Aharonov
• Bounded-error probabilistic polynomial
• Alexander Razborov
• Communication complexity
• Richard J. Lipton
• Theoretical computer science
• Applied mathematics
• Computational complexity theory

PDF Document

Source URL: people.csail.mit.edu

• Verifiable secret sharing
• Interactive proof system
• Claude Crépeau
• Gödel Prize
• Pseudorandom function family
• Zero-knowledge proof
• Provable security
• Oblivious transfer
• Non-interactive zero-knowledge proof
• Cryptography
• Cryptographic protocols
• Silvio Micali

PDF Document

Source URL: crypto.cs.mcgill.ca

• Commitment scheme
• Verifiable secret sharing
• Lecture Notes in Computer Science
• Claw-free permutation
• Small subgroup confinement attack
• Strong RSA assumption
• Cryptography
• Oblivious transfer
• Silvio Micali

PDF Document

Source URL: research.brown.edu

• Theoretical computer science
• Academia
• Science
• Knowledge
• Silvio Micali
• Keith Marzullo
• Franco P. Preparata
• Computational geometry
• Computer science